Electronic design automation - PDFSEARCH.IO - Document Search Engine

Electronic design automation
Results: 1598

#	Item
81	Microsoft PowerPoint - HLSLessons2.ppt Add to Reading List Source URL: mesl.ucsd.edu Language: English - Date: 2009-06-15 02:15:38 Electronic design automation Electronic design Integrated circuits Electronic engineering Logic design High-level synthesis Integrated circuit design Logic simulation Field-programmable gate array System on a chip Application-specific integrated circuit
82	Fundamenta Informaticaei–ii i DOIFIIOS Press Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2010-11-05 06:10:40 Theoretical computer science Constraint programming Electronic design automation Formal methods NP-complete problems Constraint satisfaction Combinatorial optimization Fundamenta Informaticae Satisfiability Mathematical optimization
83	Hardware Synthesis using SAFL and Application to Processor Design (Invited Talk) Alan Mycroft1,2 and Richard Sharp1 1 Add to Reading List Source URL: rich.recoil.org Language: English - Date: 2006-04-13 14:58:00 Subroutines Hardware description languages Electronic design automation Electronic engineering High-level synthesis Hardware verification languages Verilog VHDL Logic synthesis Inline expansion Parameter Recursion
84	"What Does a Computer Simulation Have to Reproduce? The Case of VMWare" Introduction The VMWare products and other virtualization and emulation technologies are not new (VMWare itself dates from the 1990s; emulation in a Add to Reading List Source URL: philosopher-animal.com Language: English - Date: 2010-08-13 21:51:26 Turing machine Philosophy of mind Philosophy of technology Electronic design automation Operations research Simulation Emulator Virtualization Computability Virtual machine Computer simulation Computer
85	A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality Jasmin Christian Blanchette1,2 , Mathias Fleury2 , and Christoph Weidenbach2 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-06-17 09:50:06 Formal methods Automated theorem proving Logic in computer science Boolean algebra Electronic design automation Conflict-Driven Clause Learning Boolean satisfiability problem Satisfiability modulo theories Clause Vampire Propositional calculus Lambda calculus
86	Future of simulations Rinka van Dommelen Department of Physics of the Built Environment Eindhoven University of Technology Add to Reading List Source URL: bimserver.org Language: English - Date: 2013-08-09 07:23:04 Architecture Building engineering Electronic design automation Scientific modeling Operations research Simulation Scientific modelling Building information modeling Building energy simulation Computer simulation Predictive engineering analytics
87	Use of Simulation to Evaluate Performance of Timetable Concepts New Timetable for the Oslo-area Elin Reitan Sven-Jöran Schrader NSB Passenger Trains, Planning & Analysis Add to Reading List Source URL: www.opentrack.ch Language: English - Date: 2013-01-21 11:00:16 Electronic design automation Transportation planning Operations research Simulation Logic simulation Public transport timetable Scientific modelling
88	A concise guide to VMM Verification Methodology Version 1.2 VMM is available for free download at www.vmmcentral.org VMM Golden Reference Guide First Edition, January 2010 Copyright © 2010 by Doulos Ltd. All rights res Add to Reading List Source URL: vmmcentral.org Language: English - Date: 2010-03-04 18:39:33 Hardware verification languages Hardware description languages SystemVerilog Electronic design automation Logic design E Bus Functional Model Verilog Mentor Graphics Transaction-level modeling Reference Verification Methodology
89	Rapid Characterization Method for New Semiconductor Processes Esko Mikkola, Ph.D., & Andrew Levy Ridgetop Group IncWest Ina Road Tucson, AZUSA Add to Reading List Source URL: www.ridgetopgroup.com Language: English - Date: 2015-07-18 01:30:09 Semiconductor device fabrication Electronic engineering Design for X Electronic design automation Coupon Reliability Integrated circuit design Fabless manufacturing Device under test Electromigration
90	Datasheet Synplify Pro and Premier Fast, Reliable FPGA Implementation and Debug Overview Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2016-02-10 05:16:04 Electronic engineering Electronics Electronic design automation Electronic design System on a chip Fabless semiconductor companies Hardware description languages Logic synthesis Synopsys FPGA prototyping Field-programmable gate array High-level synthesis

UPDATE